🧮 Z3 Applications

Character Classification, SMT Integration, Automated Reasoning, Constraint Programming

Feeds to Scour
SubscribedAll
Scoured 15595 posts in 842.1 ms
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·47m
🧮SMT Solvers
Preview
Report Post
The three types of LLM workloads and how to serve them
modal.com·13h·
Discuss: Hacker News
💻Local LLMs
Preview
Report Post
Exploring Text Compression
denvaar.dev·1d
📝Text Compression
Preview
Report Post
How bunq handles 97% of support with Amazon Bedrock
aws.amazon.com·11h
🌊Streaming Systems
Preview
Report Post
Algebra Problems of the Day (Algebra Regents, August 2025 Part I)
mrburkemath.blogspot.com·15h·
Discuss: Blogger
📐Linear Algebra
Preview
Report Post
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
arxiv.org·1d
🧮SMT Solvers
Preview
Report Post
AI Learning Roadmap for Beginners: Step-by-Step Guide
dev.to·12h·
Discuss: DEV
🧠Intelligence Compression
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·17h
📊Static Analysis
Preview
Report Post
How AI brings the OSCAR methodology to life in the SOC
intezer.com·15h
🌊Stream Processing
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·13h·
Discuss: Hacker News
🤝Unification Algorithms
Preview
Report Post
featurestorebook/mlfs-book: O'Reilly book - Building Machine Learning Systems with a feature store: batch, real-time, and LLMs
github.com·4h·
Discuss: Hacker News
🧠Machine Learning
Preview
Report Post
Everything Moe
ianbarber.blog·1d·
Discuss: Hacker News
🧠Learned Compression
Preview
Report Post
Qdrant - Vector Database
qdrant.tech·1d
🗂️Vector Databases
Preview
Report Post
Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI
news.ycombinator.com·12h·
Discuss: Hacker News
🌳Incremental Parsing
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·13h·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
MathGPT Graphing: fast interactive graphs with AI help
mathgpt.today·12h·
Discuss: Hacker News
🧮Constraint Solvers
Preview
Report Post
Building scalable agentic assistants: A graph-based approach
thenewstack.io·11h
🌊Stream Processing
Preview
Report Post
From 75% to 99.6%: The Math of LLM Ensembles
shibaprasadb.com·21h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Preview
Report Post
Making a Language
thunderseethe.dev·7h
🛠Language Design
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·17h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help